Stochastic Object-Based Graph Grammars
نویسندگان
چکیده
منابع مشابه
Stochastic Object-Based Graph Grammars
Object-Based Graph Grammar (OBGG) is a formal visual language suited to the specification of asynchronous distributed systems based on message passing. Model-checking of OBGG models is currently supported and a series of case studies have been developed. However, in many situations one has to evaluate non-functional aspects like availability and performance of the system under consideration. In...
متن کاملObject-Orientation in Graph-Based Design Grammars
The ongoing digital transformation in industry applies to all product life cycle’s stages. The design decisions and dimensioning carried out in the early conceptual design stages determine a huge part of the product’s life cycle costs (LCC). The automation of the conceptual design phase promises therefore huge gains in terms of LCC. Design grammars encode design processes in production systems ...
متن کاملStochastic Evolution via Graph Grammars
This is the second part in the series of papers where we are looking for new connections between computer science, mathematics and physics. These connections go through the central notions of computer science grammar and graph grammar. In section 2 main de nitions concerning random graph grammars are given. Section 3 and 4 are devoted to the simplest models of graph dynamics: we study the large...
متن کاملFormal Verification of Object-Oriented Graph Grammars Specifications
Concurrent object-oriented systems are ubiquitous due to the importance of networks and the current demands for modular, reusable, and easy to develop software. However, checking the correctness of such systems is a hard task, mainly due to concurrency and inheritance aspects. In this paper we present an approach to the verification of concurrent object-oriented systems. We use graph grammars e...
متن کاملGraph-Based Object Hypothesis
Reasoning about three-dimensional scenes involves the analysis of large amounts of complex, time-varying information. This paper presents a novel representation for storing such information that provides a unified, intuitive framework for reasoning about rigid objects. The core structure is a graph that represents features of the scene as vertices, and stores distances between these features at...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2007
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2007.03.020